Title	The Semi-automated DNA Computing Model for solving the Satisfiability Problem
Author	Yin Zhixiang, Cui Jianzhong, Shi Xiaohong, Pan Linqiang
Citation	Vol. 6  No. 1  pp. 163~167
Keywords	The satisfiability problem, SAT problem, DNA computing, Semi-automated equipment

Title	Propositional Extension Rule with Reduction
Author	Xia Wu, Jigui Sun, Shuai Lv, Minghao Yin
Citation	Vol. 6  No. 1  pp. 190~195
Keywords	Extension rule, theorem proving, satisfiability, reduction